Proceedings Sixth Workshop on Intersection Types and Related Systems
نویسندگان
چکیده
منابع مشابه
Model checking embedded system designs - Discrete Event Systems, 2002. Proceedings. Sixth International Workshop on
Model checking has established itself as a successful tool supported technique for the verification and debugging of various hardware and software systems [16]. Not only in academia, but also by industry this technique is increasingly being regarded as a promising and practical proposition, especially in the area of hardware verification [22]. Model checking is also being applied with success t...
متن کاملOptimal Task Assignment in Heterogeneous Computing Systems - Heterogeneous Computing Workshop, 1997. (HCW '97). Proceedings., Sixth
Distributed systems comprising networked heterogeneous workstations are now considered to be a viable choice for high-performance computing. For achieving a fast response time from such systems, an eficient assignment of the application tasks to the processors is imperative. The general assignment problem is known to be NP-hard, except in a few special cases with strict assumptions. While a lar...
متن کامل2001 - 08 - 02 Proceedings of the Sixth International Workshop on Web Caching and Content Distribution
Recently the Internet has witnessed the emergence of content distribution networks (CDNs). In this paper we study the problem of optimally replicating objects in CDN servers. In our model, each Internet Autonomous System (AS) is a node with nite storage capacity for replicating objects. The optimization problem is to replicate objects so that when clients fetch objects from the nearest CDN serv...
متن کامل2001 - 08 - 02 Proceedings of the Sixth International Workshop on Web Caching and Content Distribution
The benefits of Web cache prefetching are well understood, and so prefetching has been implemented in a number of commercial products. This paper argues that the current support for prefetching in HTTP/1.1 is insufficient because prefetching with GET is not good. Existing prefetching implementations can cause problems with undesirable side-effects and server abuse, and the potential for these p...
متن کامل2001 - 08 - 02 Proceedings of the Sixth International Workshop on Web Caching and Content Distribution
We investigate the stream merging problem for mediaon-demand servers. Clients requesting media from the server arrive by a Poisson process, and delivery to the clients starts immediately. Clients are prepared to receive up to two streams at any time, one or both being fed into a bu er cache. A multicast mechanism exists that allows multiple clients to receive the same stream. We present an on-l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.121.0